Persistent Immutable Shared Abstractions
نویسندگان
چکیده
A write-once, read-many persistent store has been developed for Concurrent Scheme, a distributed-memory parallel Lisp for the Mayyy multicomputer. The prototype implementation 2 supports the explicit store and implicit retrieval of instances of the Scheme data types. Items are stored into per node repositories, using a modiied form of the original Concurrent Scheme \message" format. Potential access concur-rency and transaction atomicity of the store are discussed. The eecacy of the prototype is demonstrated via its utilization within a parallel ray tracer, on a network implementation of Concurrent Scheme.
منابع مشابه
Domains: Sharing state in the communicating event-loop actor model
The actor model is a message-passing concurrency model that avoids deadlocks and low-level data races by construction. This facilitates concurrent programming, especially in the context of complex interactive applications where modularity, security and fault-tolerance are required. The tradeoff is that the actor model sacrifices expressiveness and safety guarantees with respect to parallel acce...
متن کاملForm-based Software Composition
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have defined forms, immutable extensible records, that allow for the specification of compositional abstractions in a language-neutral and robust way. In this paper, w...
متن کاملForms - A Flexible Notion for Software Composition∗
The development of flexible and reusable programming abstractions has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have been working on the definition of a general-purpose composition language based on a variant of the π-calculus as formal semantics, in which agents communicate by passing immut...
متن کاملAn Admissible Second Order Frame Rule in Region Logic
Shared mutable objects and reentrant callacks can subvert encapsulation in objectbased programs. For modular reasoning, verifiers rely on methodologies. These combine special annotations or types with instrumentation (ghost state) and syntactic restrictions on programs and specifications, which pose challenges for proving soundness and for comparing/combining methodologies. This paper formalize...
متن کاملSecure and Scalable Replication in Phalanx
Phalanx is a software system for building a persistent, survivable data repository that supports shared data abstractions (e.g., variables, mutual exclusion) for clients. Phalanx implements data abstractions that ensure useful properties without trusting the servers supporting these abstractions or the clients accessing them, i.e., Phalanx can survive even the arbitrarily malicious corruption o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992